A Computational Model for Spatial Reasoning with Mental Models

Psychological Review A Theory and a Computational Model of Spatial Reasoning With Preferred Mental Models

Deductive Spatial Reasoning: A Computational and a Cognitive Perspective

In recent years a number of different cognitive theories that explain human reasoning processes have been developed. This paper focusses on two broadly discussed theories: the theory of mental logic and the theory of mental models. Both theories are presented and analyzed in formal terms and compared with respect to their explanatory and predictive power. Our claim is that only a precise comput...

A theory and a computational model of spatial reasoning with preferred mental models.

Inferences about spatial arrangements and relations like "The Porsche is parked to the left of the Dodge and the Ferrari is parked to the right of the Dodge, thus, the Porsche is parked to the left of the Ferrari," are ubiquitous. However, spatial descriptions are often interpretable in many different ways and compatible with several alternative mental models. This article suggests that individ...

A Cognitive Computational Model for Spatial Reasoning

In recent years a lot of psychological research efforts have been made in analyzing human spatial reasoning. Psychologists have used implicitly many spatial cognitive models, i.e. a model of how humans conceptualize spatial information and reason about it, based on the mental model theory to model their experimental findings. But only little effort has been put into identifying from an algorith...

Human Spatial Relational Reasoning: Processing Demands, Representations, and Cognitive Model

Empirical findings indicate that humans draw inferences about spatial arrangements by constructing and manipulating mental models which are internal representations of objects and relations in spatial working memory. Central to the Mental Model Theory (MMT), is the assumption that the human reasoning process can be divided into three phases: (i) Mental model construction, (ii) model inspection,...